effektive Logik
Schlagen Sie auch in anderen Wörterbüchern nach:
Dialogische Logik — Die dialogische Logik ist ein von den deutschen Logikern und Philosophen Kuno Lorenz und Paul Lorenzen entwickelter spieltheoretischer, semantiknaher Ansatz zur Logik. Die Motivation ist eine im Vergleich zum Ableiten in Logikkalkülen nähere… … Deutsch Wikipedia
mathematische Logik — mathematische Logik, im weiteren Sinn die formale Logik, wobei unterstellt wird, dass formales Operieren immer mathematischer Natur sei; im engeren Sinn diejenigen Teilgebiete der formalen Logik, die sich mit für die Mathematik methodologisch… … Universal-Lexikon
Charles Peirce — Charles Sanders Peirce um 1870 Charles Sanders Peirce (* 10. September 1839 in Cambridge, Massachusetts; † 19. April 1914 in Milford, Pennsylvania) war ein US amerikanischer Mathematiker … Deutsch Wikipedia
Charles S. Peirce — Charles Sanders Peirce um 1870 Charles Sanders Peirce (* 10. September 1839 in Cambridge, Massachusetts; † 19. April 1914 in Milford, Pennsylvania) war ein US amerikanischer Mathematiker … Deutsch Wikipedia
Charles Sanders Peirce — um 1870 Charles Sanders Peirce (ausgesprochen:/ pɜrs/ wie: „purse“[1]) (* 10. September 1839 in Cambridge, Massachusetts; † 19. April 1914 in Milford, Pennsylvania) war ein … Deutsch Wikipedia
Typinferenz nach Hindley-Milner — Hindley Milner (HM) ist ein klassisches Verfahren der Typinferenz mit parametrischem Polymorphismus für den Lambda Kalkül. Es wurde erstmals von J. Roger Hindley[1] beschrieben und später von Robin Milner[2] wiederentdeckt. Luis Damas trug eine… … Deutsch Wikipedia
Sudoku — (jap. 数独 Sūdoku, kurz für 数字は独身に限る Sūji wa dokushin ni kagiru, wörtlich so viel wie „Isolieren Sie die Zahlen“) ist ein Logikrätsel und ähnelt lateinischen Quadraten. In der üblichen Version ist es das Ziel, ein 9×9 Gitter mit den Ziffern 1 bis 9 … Deutsch Wikipedia
deutsche Philosophie — deutsche Philosophie, die Philosophie des deutschen Sprach und Kulturraums. Sie war bis ins 18. Jahrhundert integrativer Teil der gesamteuropäischen Philosophie, zu der sie immer wieder bedeutende Beiträge lieferte. Erst seit der Aufklärung… … Universal-Lexikon
Ba'ku — Dieser Artikel oder Abschnitt ist nicht hinreichend mit Belegen (Literatur, Webseiten oder Einzelnachweisen) versehen. Die fraglichen Angaben werden daher möglicherweise demnächst gelöscht. Hilf Wikipedia, indem du die Angaben recherchierst und… … Deutsch Wikipedia
Bajoraner — Dieser Artikel oder Abschnitt ist nicht hinreichend mit Belegen (Literatur, Webseiten oder Einzelnachweisen) versehen. Die fraglichen Angaben werden daher möglicherweise demnächst gelöscht. Hilf Wikipedia, indem du die Angaben recherchierst und… … Deutsch Wikipedia
